[IA64] Foreign p2m: make xc_ia64_get_pfn_list() static
authorAlex Williamson <alex.williamson@hp.com>
Thu, 6 Sep 2007 21:04:07 +0000 (15:04 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Thu, 6 Sep 2007 21:04:07 +0000 (15:04 -0600)
Now xc_ia64_get_pfn_list() isn't used anymore.  Make it static.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
tools/libxc/ia64/xc_ia64_stubs.c
tools/libxc/xenctrl.h

index e2307ac2d30e65b1bf610e1df9f2ab4ec25a7c3b..61446b9957be8e9ae83370f3fca80a0744f9bceb 100644 (file)
@@ -17,7 +17,7 @@ xc_ia64_fpsr_default(void)
     return FPSR_DEFAULT;
 }
 
-int
+static int
 xc_ia64_get_pfn_list(int xc_handle, uint32_t domid, xen_pfn_t *pfn_buf,
                      unsigned int start_page, unsigned int nr_pages)
 {
index 591e6c25a3336309e07d672ed97eed9774290241..0df9be8e3048689a5c52aafdbbac91d90a55b4ff 100644 (file)
@@ -672,10 +672,6 @@ int xc_get_pfn_list(int xc_handle, uint32_t domid, uint64_t *pfn_buf,
 
 unsigned long xc_ia64_fpsr_default(void);
 
-int xc_ia64_get_pfn_list(int xc_handle, uint32_t domid,
-                         xen_pfn_t *pfn_buf,
-                         unsigned int start_page, unsigned int nr_pages);
-
 int xc_copy_to_domain_page(int xc_handle, uint32_t domid,
                            unsigned long dst_pfn, const char *src_page);